Strongly algebraic = SFP (topically)
نویسنده
چکیده
Plotkin’s dual characterization of strongly algebraic domains – by sets of minimal upper bounds and by sequences of finite posets – is stated and proved in the topical setting.
منابع مشابه
The largest Cartesian closed category of domains, considered constructively
A conjecture of Smyth is discussed which says that if D and [D → D] are effectively algebraic directed-complete partial orders with least element (cpo’s), then D is an effectively strongly algebraic cpo, where it was not made precise what is meant by an effectively algebraic and an effectively strongly algebraic cpo. Notions of an effectively strongly algebraic cpo and an effective SFP domain a...
متن کاملTopical categories of domains
It is shown how many techniques of categorical domain theory can be expressed in the general context of topical categories (where \topical" means internal in the category Top of Grothendieck toposes with geometric morphisms). The underlying topos machinery is hidden by using a geometric form of constructive mathematics, which enables toposes as \generalized topological spaces" to be treated in ...
متن کاملParents and Early Life Environment Affect Behavioral Development of Laying Hen Chickens
Severe feather pecking (SFP) in commercial laying hens is a maladaptive behavior which is associated with anxiety traits. Many experimental studies have shown that stress in the parents can affect anxiety in the offspring, but until now these effects have been neglected in addressing the problem of SFP in commercially kept laying hens. We therefore studied whether parental stock (PS) affected t...
متن کاملAdjunctions Between Categories of Domains
In this paper we show that there is no left adjoint to the inclusion functor from the full subcategory C 0 of Scott domains (i.e., consistently complete ! algebraic cpo's) to SFP, the category of SFP-objects and Scott-continuous maps. We also show there is no left adjoint to the inclusion functor from C 0 to any larger category of cpo's which contains a simple ve-element domain. As a corollary,...
متن کاملPreparation, characterization and the use of sulfonic acid-functionalized phthalimide (SFP) as a highly efficient and green catalyst for the condensation of arylaldehydes with 2-naphthol
Phthalimide was reacted with chlorosulfonic acid to give sulfonic acid-functionalized phthalimide (SFP), which characterized by 1H NMR, 13C NMR, FT-IR, XRD (X-ray diffraction), SEM (scanning electron microscopy), EDX (energy-dispersive X-ray), mass, TG (thermogravimetry) and DTG (derivative thermal gravimetry) spectra. Afterward, its catalytic activity was examined for the condensation of aryla...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 11 شماره
صفحات -
تاریخ انتشار 2001